Non-Uniform Automata Over Groups

نویسندگان

  • David A. Mix Barrington
  • Denis Thérien
چکیده

A new model, non-uniform deterministic finite automata (NUDFA’s) over general tinite monoids, has recently been developed as a strong link between the theory of finite automata and low-level parallel complexity. Achievements of this model include the proof that width 5 branching programs recognize exactly the languages in non-uniform NC’, NUDFA characterizations of several important subclasses of NC’, and a new proof of the old result that the dot-depth hierarchy is infinite, using M. Sipser’s (1983, in “Proceedings, 15th ACM Symposium on the Theory of Computing,” Association for Computing Machinery, New York, pp. 61-69) work on constant depth circuits. Here we extend this theory to NUDFA’s over solvable groups (NUDFA’s over non-solvable groups have the maximum possible computing power). We characterize the power of NUDFA’s over nilpotent groups and prove some optimal lower bounds for NUDFA’s over certain groups which are solvable but not nilpotent. Most of these results appeared in preliminary form in (D. A. Barrington and D. Therien, 1987, in “Automata, Languages, and Programming: 14th International Colloquium,” Springer-Verlag, Berlin, pp. 163-173).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

UNIFORM AND SEMI-UNIFORM TOPOLOGY ON GENERAL FUZZY AUTOMATA

In this paper, we dene the concepts of compatibility between twofuzzy subsets on Q, the set of states of a max- min general fuzzy automatonand transitivity in a max-min general fuzzy automaton. We then construct auniform structure on Q, and dene a topology on it. We also dene the conceptof semi-uniform structures on a nonempty set X and construct a semi-uniformstructure on the set of states of ...

متن کامل

Post-surjectivity and balancedness of cellular automata over groups

We discuss cellular automata over arbitrary finitely generated groups. We call a cellular automaton post-surjective if for any pair of asymptotic configurations, every preimage of one is asymptotic to a preimage of the other. The well known dual concept is pre-injectivity: a cellular automaton is pre-injective if distinct asymptotic configurations have distinct images. We prove that pre-injecti...

متن کامل

Non-Uniform Cellular Automata a Review Non-Uniform Cellular Automata a Review

This tutorial intends to present an introduction to non-uniform cellular automata (CA). The difference between uniform cellular automata and non-uniform ones is that in uniform CA all cells share the same rule, or set of rules, in non-uniform CA this is not true, every cell can have a different sets of rules or even no rule at all. We will see here that this single difference increases the powe...

متن کامل

A Connected 3-State Reversible Mealy Automaton Cannot Generate an Infinite Burnside Group

The class of automaton groups is a rich source of the simplest examples of infinite Burnside groups. However, there are some classes of automata that do not contain such examples. For instance, all infinite Burnside automaton groups in the literature are generated by non reversible Mealy automata and it was recently shown that 2-state invertible-reversible Mealy automata cannot generate infinit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Inf. Comput.

دوره 89  شماره 

صفحات  -

تاریخ انتشار 1987